upper and lower bound sythetic division